#include <ti/sysbios/BIOS.h>
#include <stdio.h>

Void main(Int argc, Char* argv[])
{
  printf("pos_detect_test\n");
  BIOS_start();
  return;
}
